Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Extending partial orders to dense linear orders

Рік:
1998
Мова:
english
Файл:
PDF, 652 KB
english, 1998
2

Definability in the enumeration degrees

Рік:
1997
Мова:
english
Файл:
PDF, 166 KB
english, 1997
4

On the Strength of Ramsey's Theorem for Pairs

Рік:
2001
Мова:
english
Файл:
PDF, 1.10 MB
english, 2001
5

An optical hydrogen sensor based on a Pd-capped Mg thin film wedge

Рік:
2010
Мова:
english
Файл:
PDF, 468 KB
english, 2010
6

Ferrule-top micromachined devices: design, fabrication, performance

Рік:
2010
Мова:
english
Файл:
PDF, 963 KB
english, 2010
8

The metamathematics of Stable Ramsey’s Theorem for Pairs

Рік:
2014
Мова:
english
Файл:
PDF, 390 KB
english, 2014
9

Extension of Embeddings in the Computably Enumerable Degrees

Рік:
2001
Мова:
english
Файл:
PDF, 4.45 MB
english, 2001
11

THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES

Рік:
2006
Мова:
english
Файл:
PDF, 291 KB
english, 2006
12

The inductive strength of Ramsey's Theorem for Pairs

Рік:
2017
Мова:
english
Файл:
PDF, 478 KB
english, 2017
13

Reflection and forcing in E-recursion theory

Рік:
1985
Мова:
english
Файл:
PDF, 1.66 MB
english, 1985
14

Completely mitotic R.E. degrees

Рік:
1989
Мова:
english
Файл:
PDF, 2.26 MB
english, 1989
15

Generic copies of countable structures

Рік:
1989
Мова:
english
Файл:
PDF, 1.37 MB
english, 1989
16

The density of infima in the recursively enumerable degrees

Рік:
1991
Мова:
english
Файл:
PDF, 1.82 MB
english, 1991
17

On co-simple isols and their intersection types

Рік:
1992
Мова:
english
Файл:
PDF, 1.14 MB
english, 1992
19

A fiber-top cantilever for hydrogen detection

Рік:
2007
Мова:
english
Файл:
PDF, 547 KB
english, 2007
20

Fiber optic hydrogen detectors containing Mg-based metal hydrides

Рік:
2007
Мова:
english
Файл:
PDF, 1.05 MB
english, 2007
21

Inadmissible forcing

Рік:
1987
Мова:
english
Файл:
PDF, 1.39 MB
english, 1987
22

-conservation of combinatorial principles weaker than Ramsey’s theorem for pairs

Рік:
2012
Мова:
english
Файл:
PDF, 256 KB
english, 2012
23

Fiber optic Surface Plasmon Resonance sensor based on wavelength modulation for hydrogen sensing

Рік:
2011
Мова:
english
Файл:
PDF, 1.39 MB
english, 2011
24

Randomness and Recursive Enumerability

Рік:
2001
Мова:
english
Файл:
PDF, 178 KB
english, 2001
25

Generalized Hyperarithmetic Theory

Рік:
1990
Мова:
english
Файл:
PDF, 598 KB
english, 1990
26

Independence Results on the Global Structure of the Turing Degrees

Рік:
1983
Мова:
english
Файл:
PDF, 1.00 MB
english, 1983
28

Exchange-coulomb potential energy curves for He-He, and related physical properties

Рік:
1992
Мова:
english
Файл:
PDF, 970 KB
english, 1992
30

RELATIVE TO ANY NON-HYPERARITHMETIC SET

Рік:
2013
Мова:
english
Файл:
PDF, 348 KB
english, 2013
31

THE n-r.e. DEGREES: UNDECIDABILITY AND Σ 1 SUBSTRUCTURES

Рік:
2012
Мова:
english
Файл:
PDF, 370 KB
english, 2012
32

Every Set has a Least Jump Enumeration

Рік:
2000
Мова:
english
Файл:
PDF, 236 KB
english, 2000
33

A Basis Theorem for Perfect Sets

Рік:
1998
Мова:
english
Файл:
PDF, 205 KB
english, 1998
34

ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE -SETS

Рік:
2005
Мова:
english
Файл:
PDF, 648 KB
english, 2005
35

On simply normal numbers to different bases

Рік:
2016
Мова:
english
Файл:
PDF, 519 KB
english, 2016
36

Corrigendum to: “On the strength of Ramsey's Theorem for pairs”

Рік:
2009
Мова:
english
Файл:
PDF, 278 KB
english, 2009
38

On the normality of numbers to different bases

Рік:
2014
Мова:
english
Файл:
PDF, 260 KB
english, 2014
39

Measures and their random reals

Рік:
2015
Мова:
english
Файл:
PDF, 273 KB
english, 2015
40

Interpretability and Definability in the Recursively Enumerable Degrees

Рік:
1998
Мова:
english
Файл:
PDF, 691 KB
english, 1998
41

On the existence of a strong minimal pair

Рік:
2015
Мова:
english
Файл:
PDF, 370 KB
english, 2015
45

The atomic model theorem and type omitting

Рік:
2009
Мова:
english
Файл:
PDF, 435 KB
english, 2009
47

The $\Delta ^0_2$ Turing degrees: Automorphisms and Definability

Рік:
2017
Мова:
english
Файл:
PDF, 568 KB
english, 2017
48

On the Strength of Ramsey's Theorem

Рік:
1995
Мова:
english
Файл:
PDF, 126 KB
english, 1995